IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude
نویسندگان
چکیده
We describe a platform, IOP, for the interoperation of formal reasoning tools, and an adaptation of Maude, IMaude, that utilizes this platform. Three applications of IMaude and IOP to real world problem domains are described.
منابع مشابه
The IOP Model of Interoperation as a Basis for Developing Interactive Maude Applications
In this paper we describe the IOP model of interoperation and its use in developing interactive applications. Using this as a basis we have developed the IMaude library of modules for defining interactive applications based on the Rewriting Logic language Maude. This is an important step towards making Maude specifications more accessible to non-experts, and thus advancing the possibility for f...
متن کاملAlgebraic Formalization and Verification of PKMv3 Protocol using Maude
PKMv3 is the third version of Privacy and Key Management protocol, which plays an important role by providing key distribution and security access control in IEEE802.16m, the standard of Worldwide Interoperability for Microwave Access. The protocol should be guaranteed safe in terms of confidentiality, authentication and integrity. In this paper, we develop an executable formal specification of...
متن کاملService-oriented enterprise interoperability in automobile supply chain management
How to enhance interoperability between stakeholders and improve efficiency of supply chain management is the key issue that needs to be addressed in automobile industry. Existing interoperability solutions are suitable only for large enterprises, however, small and medium-sized enterprises (SMEs) lack cheap, easy to integrate and easy to customize solutions. This paper proposes a methodology t...
متن کاملThree dimensions of organizational interoperability Insights from recent studies for improving interoperability frame-works
Interoperability (IOP) is considered a critical success factor to forge ahead in the online provi-sion of public services. Interoperability frameworks shall give guidance to practitioners what to consider and to do in order to enable seamless interaction with other public authorities and clients. The well known European Interoperability Framework (EIF) and many others are designed as multilayer...
متن کاملInteractive Oracle Proofs
We initiate the study of a proof system model that naturally combines two well-known models: interactive proofs (IPs) and probabilistically-checkable proofs (PCPs). An interactive oracle proof (IOP) is an interactive proof in which the verifier is not required to read the prover’s messages in their entirety; rather, the verifier has oracle access to the prover’s messages, and may probabilistica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 117 شماره
صفحات -
تاریخ انتشار 2005